Buy Used and New Yih-Kuen Tsay Books

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

by Yih-Kuen Tsay,Doron A. Peled

ISBN 13: 9783540292098

Format: Paperback (524 pages)
Publisher: Springer
Published: 19 Sep 2005

Save for later